nLab
skyscraper sheaf
Redirected from "proof nets".
Contents
Idea
A skyscraper sheaf is a sheaf supported at a single point.
This is not unlike the Dirac -distribution.
Definition
For a topological space, a point of and a set, the skyscraper sheaf in the category of sheaves on the category of open subsets of supported at with value is the sheaf of sets given by the assignment
- The skyscraper sheaf is the direct image of under the geometric morphism which defines the point of a topos given by (see there for more details on this perspective).
References
Last revised on June 23, 2016 at 15:41:19.
See the history of this page for a list of all contributions to it.